Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·58m·
Discuss: DEV
📐Vector Dimensionality
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·12h
💻Programming languages
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·21h·
Discuss: Hacker News
✨Algebraic Effects
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·8h
🔄Reproducible Builds
A distributed systems reliability glossary
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Issue 481
haskellweekly.news·4h
🔗Functional Compilers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
The power of the Unix philosophy for LLM agentic tools
blog.korny.info·3h·
Discuss: Hacker News
🐚Shell Calculus
Visualising the Trade Lifecycle - Phase 1 - Building a React SPA with Multiple AIs
blog.scottlogic.com·1h
🔌Interface Evolution
Cactus Language • Stylistics 4
inquiryintoinquiry.com·2d
🌳Context free grammars
A Wide Reduction Trick (2022)
words.filippo.io·13h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
How to actually use Model Context Protocol
seangoedecke.com·16h
⚡Proof Automation
Undone Computer Science
undonecs.org·4h·
Discuss: Hacker News
🌍Cultural Algorithms
Why We Develop EloqDB Mainly in C++
eloqdata.com·1h·
Discuss: Hacker News
🦀Rust Borrowing
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·13h·
Discuss: Hacker News
🔗Concatenative Programming
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
A PhD's Apology
cappadokes.github.io·1d·
Discuss: Hacker News
🧮Theoretical Computer Science
C++ Trailing Return Types (2022)
danielsieger.com·7h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
LLMs Are Bad at Being Forced
morphllm.com·4h·
Discuss: Hacker News
💻Local LLMs